Config.mk: Switch external trees to fixed tags for Xen 4.11.0-rc1
authorIan Jackson <ian.jackson@eu.citrix.com>
Tue, 17 Apr 2018 16:19:33 +0000 (17:19 +0100)
committerIan Jackson <Ian.Jackson@eu.citrix.com>
Tue, 17 Apr 2018 17:21:31 +0000 (18:21 +0100)
commitb1282fe325cb99f33e092c589952b2569ca9cf54
treed47ee4e35d3daab18bfda9784de2220c395ec6cd
parentbdfdf244f55ff11e8c4c607fff6815cb672cbdc1
Config.mk: Switch external trees to fixed tags for Xen 4.11.0-rc1

The minios tag `xen-4.11.0-rc1' was mistakenly made on the wrong
revision.  So we have burned that tag and use xen-4.11.0-rc1.1
instead.

Signed-off-by: Ian Jackson <Ian.Jackson@eu.citrix.com>
Config.mk